$\forall$${\it lnk}$:IdLnk, ${\it tag}$:Id, $L$:(Knd List). Rsframe(${\it lnk}$; ${\it tag}$; $L$) $\in$ es\_realizer\{i:l\}